<html>
<body>
Reports issues in method <code>@Contract</code> annotations. The types of issues that can be reported are:
<ul>
<li>Errors in contract syntax</li>
<li>Contracts that do not conform to the method signature (wrong parameter count)</li>
<li>Method implementations that contradict the contract (e.g. return <code>true</code> when the contract says <code>false</code>)</li>
</ul>
<p>Example:</p>
<pre><code>
  // method has no parameters, but contract expects 1
  @Contract("_ -> fail")
  <b>void</b> x() {
    <b>throw</b> new AssertionError();
  }
</code></pre>
</body>
</html>